VDict mobile



type constructor function not found. Suggestions:

constructor
algebraic data type
injection
constructed type
derived type
tuple
polymorphic lambda-calculus
instantiation
functor
type inference